Functional calculus - PDFSEARCH.IO - Document Search Engine

Functional calculus
Results: 647

#	Item
501	Identities involving the bihyperbolic functions Introduction Biexponential component functions The asymmetric biexponential component functions were defined previously [1] as follows. Add to Reading List Source URL: kblott.files.wordpress.com Language: English - Date: 2010-12-04 15:43:11 Differential calculus Exponentials Functions and mappings Functional analysis Derivative Exponential function Hyperbolic function Generalizations of the derivative Function Mathematical analysis Mathematics Analytic functions
502	Caterwaul Reference Manual Spencer Tipping March 4, 2012 Contents 1 Add to Reading List Source URL: caterwauljs.org Language: English - Date: 2012-03-05 02:01:23 Functional programming Lambda calculus Subroutines Parse tree Syntax JavaScript syntax Anonymous function Binary tree Pattern matching Software engineering Computing Computer programming
503	Abstract Predicates and Mutable ADTs in Hoare Type Theory Aleksandar Nanevski1 , Amal Ahmed2 , Greg Morrisett1 , and Lars Birkedal3 1 2 Add to Reading List Source URL: ynot.cs.harvard.edu Language: English - Date: 2011-07-10 14:38:57 Type theory Formal methods Models of computation Functional languages Program logic Hoare logic Lambda calculus Type system Function Programming language theory Mathematics Software engineering
504	Standard nonstandard evaluation rules Thomas Lumley March 19, 2003 This document is designed to clarify the various evaluation rules for function arguments in R and to make some suggestions for new code. The descriptions Add to Reading List Source URL: developer.r-project.org Language: English - Date: 2012-10-11 14:37:25 Subroutines Lambda calculus Functional programming Data types Procedural programming languages Eval Function Parameter Lisp Software engineering Computing Computer programming
505	Inapproximability After Uniqueness Phase Transition in Two-Spin Systems Jin-Yi Cai∗ Xi Chen† Add to Reading List Source URL: pages.cs.wisc.edu Language: English - Date: 2012-03-28 09:05:58 Functional analysis Holomorphic functional calculus Orbifold Metalogic Model theory Mathematical analysis
506	Chapter 2 The Elementary Theory 2.1 Integration on Paths Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2009-11-10 22:50:41 Argument principle Holomorphic functional calculus Mathematical analysis Complex analysis Fundamental theorem of calculus
507	Chapter 3 The General Cauchy Theorem In this chapter, we consider two basic questions. First, for a given open set Ω, we try Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2004-07-21 12:07:30 Analysis Branch point Entailment Holomorphic functional calculus Limit set Logic Complex analysis Deduction
508	HOMOTOPY FORMULA. COHOMOLOGY. Analysis versus topology 1. Homotopy formula. ♥ Definition. The Lie derivative of a differential form ω ∈ Λd (M ) of any Add to Reading List Source URL: www.wisdom.weizmann.ac.il Language: English - Date: 2004-03-30 09:25:46 Homology theory De Rham cohomology Differential form Connection Differential geometry Holomorphic functional calculus Holonomy Mathematical analysis Mathematics Physics
509	John Long’s Hilbert Space The “vectors” in the original linear space are Zeno contours: contours in the complex plane that are given parametrically as z(t ) or γ (t ) , 0 ≤ t ≤ 1 , as solutions of the differen Add to Reading List Source URL: www128.pair.com Language: English - Date: 2014-04-07 18:50:35 Operator theory Differential topology Quantum mechanics Differential geometry Inner product space Hilbert space Vector field Holomorphic functional calculus Tangent space Mathematical analysis Algebra Theoretical physics
510	Resolving and Exploiting the k-CFA Paradox Illuminating Functional vs. Object-Oriented Program Analysis Matthew Might Yannis Smaragdakis Add to Reading List Source URL: matt.might.net Language: English - Date: 2014-01-06 09:40:17 Mathematical logic Logic in computer science Metalogic Model theory Denotational semantics Lambda calculus Structure Theoretical computer science Models of computation Mathematics

UPDATE